Литерал (математическая логика)公式 (数理逻辑): Булева формула句子 (数理逻辑): Предложение (логика)数理逻辑: математическая логика量化 (数理逻辑): Квантор数理逻辑学家: Персоналии:Математическая логика